Détroits, isthmes, passages… : Addendum

Passages of Proof

In this paper we propose a new perspective on the evolution and history of the idea of mathematical proof. Proofs will be studied at three levels: syntactical, semantical and pragmatical. Finally, in a highly speculative part, we will anticipate the evolution of proofs under the assumption that the quantum computer will materialise. We will argue that there is little ‘intrinsic’ difference betw...

Straits, Passages and Chokepoints

The transportation of petroleum represents one of the most strategically important circulations of resources in the global economy. Its role cannot be overstated. Yet, petroleum has become a “strategically invisible” commodity as its flow has been continuous with limited, but eye-opening, disruptions such as the First Energy Crisis is 1973. Petroleum supplies are virtually taken for granted. Si...

Grøstl Addendum

This document is an addendum to the submission document of Grøstl, which was selected for the second round of NIST’s SHA-3 competition [18]. We stress that we do not change the specification of Grøstl. In other words, Grøstl is defined exactly as specified in the original submission document [8]. In this document we mention a few alternative descriptions of our SHA-3 candidate Grøstl and descri...

Addendum 2

Passages in Graphs

Directed graphs can be partitioned in so-called passages. A passage P is a set of edges such that any two edges sharing the same initial vertex or sharing the same terminal vertex are both inside P or are both outside of P . Passages were first identified in the context of process mining where they are used to successfully decompose process discovery and conformance checking problems. In this a...